Multiple-polarity-pragmas-for-a-single-name.agda:3,14-15
Multiple polarity pragmas for A
